11.68/12.07	unsat
