31.35/31.39	unsat
