31.23/31.32	unsat
