31.09/34.47	unsat
