18.02/18.76	unsat
