1.28/6.24	unsat
