17.67/18.35	unsat
