5.18/5.95	unsat
