31.77/34.01	unsat
