7.08/7.34	unsat
