2.48/2.64	unsat
