5.07/5.95	unsat
