32.45/35.03	unsat
