1.18/1.42	unsat
