12.06/14.69	unsat
