1.20/1.42	unsat
