12.07/15.69	unsat
