17.67/20.53	unsat
