5.60/5.95	unsat
