31.23/31.31	unsat
