12.57/12.66	unsat
