12.18/12.73	unsat
