17.91/21.76	unsat
