4.94/7.66	unsat
