20.52/20.81	unsat
