31.14/31.23	unsat
