1.00/6.34	unsat
