20.16/20.20	unsat
