20.91/21.00	unsat
