1.19/2.42	unsat
