6.00/7.34	unsat
