17.75/18.79	unsat
