14.06/16.74	unsat
