17.75/18.44	unsat
