5.38/5.95	unsat
