1.24/3.16	unsat
