18.64/18.76	unsat
