1.20/2.42	unsat
