17.75/18.76	unsat
