18.62/18.76	unsat
