31.44/34.61	unsat
