9.68/13.58	unsat
