18.56/18.76	unsat
