14.46/16.93	unsat
