12.98/14.73	unsat
