8.68/12.44	unsat
