5.06/5.95	unsat
