12.57/12.69	unsat
