5.27/6.11	unsat
