20.91/22.96	unsat
