8.63/12.12	unsat
