1.24/3.28	unsat
