31.33/31.49	unsat
