5.57/5.95	unsat
