12.16/13.73	unsat
