30.84/34.71	unsat
