35.48/35.52	unsat
