17.87/18.35	unsat
