4.17/4.95	unsat
