14.96/15.05	unsat
