31.84/33.03	unsat
