1.22/3.41	unsat
