14.76/16.78	unsat
