1.08/3.91	unsat
