13.87/16.05	unsat
