4.68/6.34	unsat
