5.97/7.34	unsat
