31.33/31.42	unsat
