32.34/35.03	unsat
