17.88/18.37	unsat
