17.75/18.99	unsat
