20.24/20.31	unsat
