20.26/21.82	unsat
