31.01/31.73	unsat
