15.87/18.05	unsat
