1.39/2.42	unsat
