5.48/5.95	unsat
