1.28/3.24	unsat
