2.28/2.42	unsat
