14.66/16.05	unsat
