1.18/3.40	unsat
