20.74/20.84	unsat
