4.28/5.95	unsat
