12.16/12.88	unsat
