8.68/12.18	unsat
