12.70/14.82	unsat
