31.55/34.44	unsat
