5.37/5.95	unsat
