20.08/20.96	unsat
