20.69/21.10	unsat
