12.70/14.05	unsat
