17.45/18.05	unsat
