7.68/12.66	unsat
